1
Software engineering mathematics

Software engineering mathematics

سال:
1989
زبان:
english
فائل:
PDF, 12.17 MB
0 / 0
english, 1989
2
Using Z.Specification,refinement,and proof

Using Z.Specification,refinement,and proof

سال:
1996
زبان:
english
فائل:
PDF, 4.74 MB
0 / 0
english, 1996
6
LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

سال:
2013
زبان:
english
فائل:
PDF, 5.68 MB
0 / 0
english, 2013
12
Using Z: Specification, Refinement, and Proof

Using Z: Specification, Refinement, and Proof

سال:
1996
زبان:
english
فائل:
PDF, 1.24 MB
0 / 0
english, 1996
14
LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

سال:
2013
زبان:
english
فائل:
MOBI , 2.37 MB
0 / 0
english, 2013
21
LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

سال:
2013
زبان:
english
فائل:
FB2 , 3.60 MB
0 / 0
english, 2013
25
LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

سال:
2013
زبان:
english
فائل:
LIT , 1.96 MB
0 / 0
english, 2013
27
LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

سال:
2013
زبان:
english
فائل:
AZW3 , 2.47 MB
0 / 0
english, 2013
28
Software Engineering for Robotics

Software Engineering for Robotics

سال:
2021
زبان:
english
فائل:
PDF, 46.46 MB
0 / 5.0
english, 2021
37
Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

سال:
2013
زبان:
english
فائل:
PDF, 5.67 MB
0 / 0
english, 2013